Optimal. Leaf size=201 \[ -\frac {3}{2} a^2 b x+\frac {35 b^3 x}{128}-\frac {a^3 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {3 a b^2 \cosh (c+d x)}{d}-\frac {2 a b^2 \cosh ^3(c+d x)}{d}+\frac {3 a b^2 \cosh ^5(c+d x)}{5 d}+\frac {3 a^2 b \cosh (c+d x) \sinh (c+d x)}{2 d}-\frac {35 b^3 \cosh (c+d x) \sinh (c+d x)}{128 d}+\frac {35 b^3 \cosh (c+d x) \sinh ^3(c+d x)}{192 d}-\frac {7 b^3 \cosh (c+d x) \sinh ^5(c+d x)}{48 d}+\frac {b^3 \cosh (c+d x) \sinh ^7(c+d x)}{8 d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.14, antiderivative size = 201, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 5, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.238, Rules used = {3299, 3855,
2715, 8, 2713} \begin {gather*} -\frac {a^3 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {3 a^2 b \sinh (c+d x) \cosh (c+d x)}{2 d}-\frac {3}{2} a^2 b x+\frac {3 a b^2 \cosh ^5(c+d x)}{5 d}-\frac {2 a b^2 \cosh ^3(c+d x)}{d}+\frac {3 a b^2 \cosh (c+d x)}{d}+\frac {b^3 \sinh ^7(c+d x) \cosh (c+d x)}{8 d}-\frac {7 b^3 \sinh ^5(c+d x) \cosh (c+d x)}{48 d}+\frac {35 b^3 \sinh ^3(c+d x) \cosh (c+d x)}{192 d}-\frac {35 b^3 \sinh (c+d x) \cosh (c+d x)}{128 d}+\frac {35 b^3 x}{128} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 2713
Rule 2715
Rule 3299
Rule 3855
Rubi steps
\begin {align*} \int \text {csch}(c+d x) \left (a+b \sinh ^3(c+d x)\right )^3 \, dx &=i \int \left (-i a^3 \text {csch}(c+d x)-3 i a^2 b \sinh ^2(c+d x)-3 i a b^2 \sinh ^5(c+d x)-i b^3 \sinh ^8(c+d x)\right ) \, dx\\ &=a^3 \int \text {csch}(c+d x) \, dx+\left (3 a^2 b\right ) \int \sinh ^2(c+d x) \, dx+\left (3 a b^2\right ) \int \sinh ^5(c+d x) \, dx+b^3 \int \sinh ^8(c+d x) \, dx\\ &=-\frac {a^3 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {3 a^2 b \cosh (c+d x) \sinh (c+d x)}{2 d}+\frac {b^3 \cosh (c+d x) \sinh ^7(c+d x)}{8 d}-\frac {1}{2} \left (3 a^2 b\right ) \int 1 \, dx-\frac {1}{8} \left (7 b^3\right ) \int \sinh ^6(c+d x) \, dx+\frac {\left (3 a b^2\right ) \text {Subst}\left (\int \left (1-2 x^2+x^4\right ) \, dx,x,\cosh (c+d x)\right )}{d}\\ &=-\frac {3}{2} a^2 b x-\frac {a^3 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {3 a b^2 \cosh (c+d x)}{d}-\frac {2 a b^2 \cosh ^3(c+d x)}{d}+\frac {3 a b^2 \cosh ^5(c+d x)}{5 d}+\frac {3 a^2 b \cosh (c+d x) \sinh (c+d x)}{2 d}-\frac {7 b^3 \cosh (c+d x) \sinh ^5(c+d x)}{48 d}+\frac {b^3 \cosh (c+d x) \sinh ^7(c+d x)}{8 d}+\frac {1}{48} \left (35 b^3\right ) \int \sinh ^4(c+d x) \, dx\\ &=-\frac {3}{2} a^2 b x-\frac {a^3 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {3 a b^2 \cosh (c+d x)}{d}-\frac {2 a b^2 \cosh ^3(c+d x)}{d}+\frac {3 a b^2 \cosh ^5(c+d x)}{5 d}+\frac {3 a^2 b \cosh (c+d x) \sinh (c+d x)}{2 d}+\frac {35 b^3 \cosh (c+d x) \sinh ^3(c+d x)}{192 d}-\frac {7 b^3 \cosh (c+d x) \sinh ^5(c+d x)}{48 d}+\frac {b^3 \cosh (c+d x) \sinh ^7(c+d x)}{8 d}-\frac {1}{64} \left (35 b^3\right ) \int \sinh ^2(c+d x) \, dx\\ &=-\frac {3}{2} a^2 b x-\frac {a^3 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {3 a b^2 \cosh (c+d x)}{d}-\frac {2 a b^2 \cosh ^3(c+d x)}{d}+\frac {3 a b^2 \cosh ^5(c+d x)}{5 d}+\frac {3 a^2 b \cosh (c+d x) \sinh (c+d x)}{2 d}-\frac {35 b^3 \cosh (c+d x) \sinh (c+d x)}{128 d}+\frac {35 b^3 \cosh (c+d x) \sinh ^3(c+d x)}{192 d}-\frac {7 b^3 \cosh (c+d x) \sinh ^5(c+d x)}{48 d}+\frac {b^3 \cosh (c+d x) \sinh ^7(c+d x)}{8 d}+\frac {1}{128} \left (35 b^3\right ) \int 1 \, dx\\ &=-\frac {3}{2} a^2 b x+\frac {35 b^3 x}{128}-\frac {a^3 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {3 a b^2 \cosh (c+d x)}{d}-\frac {2 a b^2 \cosh ^3(c+d x)}{d}+\frac {3 a b^2 \cosh ^5(c+d x)}{5 d}+\frac {3 a^2 b \cosh (c+d x) \sinh (c+d x)}{2 d}-\frac {35 b^3 \cosh (c+d x) \sinh (c+d x)}{128 d}+\frac {35 b^3 \cosh (c+d x) \sinh ^3(c+d x)}{192 d}-\frac {7 b^3 \cosh (c+d x) \sinh ^5(c+d x)}{48 d}+\frac {b^3 \cosh (c+d x) \sinh ^7(c+d x)}{8 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.19, size = 158, normalized size = 0.79 \begin {gather*} \frac {-23040 a^2 b c+4200 b^3 c-23040 a^2 b d x+4200 b^3 d x+28800 a b^2 \cosh (c+d x)-4800 a b^2 \cosh (3 (c+d x))+576 a b^2 \cosh (5 (c+d x))+15360 a^3 \log \left (\tanh \left (\frac {1}{2} (c+d x)\right )\right )+11520 a^2 b \sinh (2 (c+d x))-3360 b^3 \sinh (2 (c+d x))+840 b^3 \sinh (4 (c+d x))-160 b^3 \sinh (6 (c+d x))+15 b^3 \sinh (8 (c+d x))}{15360 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 2.08, size = 325, normalized size = 1.62
method | result | size |
risch | \(-\frac {3 a^{2} b x}{2}+\frac {35 b^{3} x}{128}+\frac {b^{3} {\mathrm e}^{8 d x +8 c}}{2048 d}-\frac {b^{3} {\mathrm e}^{6 d x +6 c}}{192 d}+\frac {3 a \,b^{2} {\mathrm e}^{5 d x +5 c}}{160 d}+\frac {7 b^{3} {\mathrm e}^{4 d x +4 c}}{256 d}-\frac {5 a \,b^{2} {\mathrm e}^{3 d x +3 c}}{32 d}+\frac {3 b \,{\mathrm e}^{2 d x +2 c} a^{2}}{8 d}-\frac {7 b^{3} {\mathrm e}^{2 d x +2 c}}{64 d}+\frac {15 a \,{\mathrm e}^{d x +c} b^{2}}{16 d}+\frac {15 a \,{\mathrm e}^{-d x -c} b^{2}}{16 d}-\frac {3 b \,{\mathrm e}^{-2 d x -2 c} a^{2}}{8 d}+\frac {7 b^{3} {\mathrm e}^{-2 d x -2 c}}{64 d}-\frac {5 a \,b^{2} {\mathrm e}^{-3 d x -3 c}}{32 d}-\frac {7 b^{3} {\mathrm e}^{-4 d x -4 c}}{256 d}+\frac {3 a \,b^{2} {\mathrm e}^{-5 d x -5 c}}{160 d}+\frac {b^{3} {\mathrm e}^{-6 d x -6 c}}{192 d}-\frac {b^{3} {\mathrm e}^{-8 d x -8 c}}{2048 d}+\frac {a^{3} \ln \left ({\mathrm e}^{d x +c}-1\right )}{d}-\frac {a^{3} \ln \left ({\mathrm e}^{d x +c}+1\right )}{d}\) | \(325\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 257, normalized size = 1.28 \begin {gather*} -\frac {3}{8} \, a^{2} b {\left (4 \, x - \frac {e^{\left (2 \, d x + 2 \, c\right )}}{d} + \frac {e^{\left (-2 \, d x - 2 \, c\right )}}{d}\right )} - \frac {1}{6144} \, b^{3} {\left (\frac {{\left (32 \, e^{\left (-2 \, d x - 2 \, c\right )} - 168 \, e^{\left (-4 \, d x - 4 \, c\right )} + 672 \, e^{\left (-6 \, d x - 6 \, c\right )} - 3\right )} e^{\left (8 \, d x + 8 \, c\right )}}{d} - \frac {1680 \, {\left (d x + c\right )}}{d} - \frac {672 \, e^{\left (-2 \, d x - 2 \, c\right )} - 168 \, e^{\left (-4 \, d x - 4 \, c\right )} + 32 \, e^{\left (-6 \, d x - 6 \, c\right )} - 3 \, e^{\left (-8 \, d x - 8 \, c\right )}}{d}\right )} + \frac {1}{160} \, a b^{2} {\left (\frac {3 \, e^{\left (5 \, d x + 5 \, c\right )}}{d} - \frac {25 \, e^{\left (3 \, d x + 3 \, c\right )}}{d} + \frac {150 \, e^{\left (d x + c\right )}}{d} + \frac {150 \, e^{\left (-d x - c\right )}}{d} - \frac {25 \, e^{\left (-3 \, d x - 3 \, c\right )}}{d} + \frac {3 \, e^{\left (-5 \, d x - 5 \, c\right )}}{d}\right )} + \frac {a^{3} \log \left (\tanh \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right )}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 2609 vs.
\(2 (185) = 370\).
time = 0.45, size = 2609, normalized size = 12.98 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.48, size = 279, normalized size = 1.39 \begin {gather*} \frac {15 \, b^{3} e^{\left (8 \, d x + 8 \, c\right )} - 160 \, b^{3} e^{\left (6 \, d x + 6 \, c\right )} + 576 \, a b^{2} e^{\left (5 \, d x + 5 \, c\right )} + 840 \, b^{3} e^{\left (4 \, d x + 4 \, c\right )} - 4800 \, a b^{2} e^{\left (3 \, d x + 3 \, c\right )} + 11520 \, a^{2} b e^{\left (2 \, d x + 2 \, c\right )} - 3360 \, b^{3} e^{\left (2 \, d x + 2 \, c\right )} + 28800 \, a b^{2} e^{\left (d x + c\right )} - 30720 \, a^{3} \log \left (e^{\left (d x + c\right )} + 1\right ) + 30720 \, a^{3} \log \left ({\left | e^{\left (d x + c\right )} - 1 \right |}\right ) - 240 \, {\left (192 \, a^{2} b - 35 \, b^{3}\right )} {\left (d x + c\right )} + {\left (28800 \, a b^{2} e^{\left (7 \, d x + 7 \, c\right )} - 4800 \, a b^{2} e^{\left (5 \, d x + 5 \, c\right )} - 840 \, b^{3} e^{\left (4 \, d x + 4 \, c\right )} + 576 \, a b^{2} e^{\left (3 \, d x + 3 \, c\right )} + 160 \, b^{3} e^{\left (2 \, d x + 2 \, c\right )} - 15 \, b^{3} - 480 \, {\left (24 \, a^{2} b - 7 \, b^{3}\right )} e^{\left (6 \, d x + 6 \, c\right )}\right )} e^{\left (-8 \, d x - 8 \, c\right )}}{30720 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.50, size = 315, normalized size = 1.57 \begin {gather*} \frac {7\,b^3\,{\mathrm {e}}^{4\,c+4\,d\,x}}{256\,d}-\frac {2\,\mathrm {atan}\left (\frac {a^3\,{\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\sqrt {-d^2}}{d\,\sqrt {a^6}}\right )\,\sqrt {a^6}}{\sqrt {-d^2}}-\frac {7\,b^3\,{\mathrm {e}}^{-4\,c-4\,d\,x}}{256\,d}-x\,\left (\frac {3\,a^2\,b}{2}-\frac {35\,b^3}{128}\right )+\frac {b^3\,{\mathrm {e}}^{-6\,c-6\,d\,x}}{192\,d}-\frac {b^3\,{\mathrm {e}}^{6\,c+6\,d\,x}}{192\,d}-\frac {b^3\,{\mathrm {e}}^{-8\,c-8\,d\,x}}{2048\,d}+\frac {b^3\,{\mathrm {e}}^{8\,c+8\,d\,x}}{2048\,d}-\frac {{\mathrm {e}}^{-2\,c-2\,d\,x}\,\left (24\,a^2\,b-7\,b^3\right )}{64\,d}+\frac {{\mathrm {e}}^{2\,c+2\,d\,x}\,\left (24\,a^2\,b-7\,b^3\right )}{64\,d}+\frac {15\,a\,b^2\,{\mathrm {e}}^{-c-d\,x}}{16\,d}-\frac {5\,a\,b^2\,{\mathrm {e}}^{-3\,c-3\,d\,x}}{32\,d}-\frac {5\,a\,b^2\,{\mathrm {e}}^{3\,c+3\,d\,x}}{32\,d}+\frac {3\,a\,b^2\,{\mathrm {e}}^{-5\,c-5\,d\,x}}{160\,d}+\frac {3\,a\,b^2\,{\mathrm {e}}^{5\,c+5\,d\,x}}{160\,d}+\frac {15\,a\,b^2\,{\mathrm {e}}^{c+d\,x}}{16\,d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________